#ifndef __TIME_DELAY_H
#define __TIME_DELAY_H

#include <stdint.h>

typedef void (*time_syscall_t) (void);

void time_delay_init(void);
uint64_t time_now(void);
uint64_t time_get_us(void);
uint64_t time_get_ms(void);
void time_delay_us(uint32_t us);
void time_delay_ms(uint32_t ms);
void time_syscall_register(time_syscall_t cb);

#endif /* __TIME_DELAY_H */
